1001. Theory of Computation
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computable functions,Functional programming languages,MATHEMATICS / Discrete Mathematics., bisacsh,توابع محاسبه پذیر,زبان های برنامه‌نویسی تابعی
رده :
QA9
,.
59
.
T46
,
T68
2012
1002. Theory of duality in mathematical programming
پدیدآورنده: WALK,MANFRED
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS( , DUALITY THEORY )MATHEMATICS(
رده :
QA
402
.
5
.
W33
1003. Theory of optimal control and mathematical programming
پدیدآورنده: Canon, Michael D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Control theory,، Programming )Mathematics(
رده :
QA
402
.
3
.
C34
1004. Theory of optimal control and mathematical programming
پدیدآورنده: Canon, Michael D.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Control theory,، Programming )Mathematics(
رده :
QA
402
.
3
.
C34
1005. Theory of optimal control and mathematical programming
پدیدآورنده : [by] Michael D. Canon, Clifton D. Cullum Jr. [and] Elijah Polak
موضوع : Control theory,Programming (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1006. Theory of optimal control & mathematical programming
پدیدآورنده: CANON,MICHAEL D
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: CONTROL THEORY , PROGRAMMING )MATHEMATICS(
رده :
QA
402
.
3
.
C34
1007. Topics in interval analysis
پدیدآورنده: edited by E. Hansen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
1008. Topics in relaxation and ellipsoidal methods
پدیدآورنده: Akgul, M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Linear programming,، Convex programming,، Relaxation methods )Mathematics(
رده :
T
57
.
74
.
A43
1984
1009. User s guide for LINDO and LINGO, Windows Versions
پدیدآورنده: Roe, Andrew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Linear programming - Software , Programming )Mathematics(
رده :
T
57
.
74
.
R63
1997
1010. User's guide for lindo and lingo, windows version to accompany operations reserch: applications and algorithms
پدیدآورنده: Winston, Wayne L
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Programming )Mathematics(- Software,، Mathematical optimization- Software
رده :
T
57
.
7
W5
U8
1011. Vector game math processors
پدیدآورنده: / James Leiterman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
رده :
QA76
.
5
.
L446
2003
1012. Vector game math processors
پدیدآورنده: James Leiterman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb
1013. Writing fast programs : a practical guide for scientists and engineers
پدیدآورنده: Riley, John S.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computer programming,Data processing ، Engineering mathematics,، Program transformation )Computer programming(
رده :
QA
76
.
6
.
R53
2006
1014. Writing fast programs: a practical guide for scientists and engineers
پدیدآورنده: Riley, John S.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,Data processing ، Engineering mathematics,، Program transformation )Computer programming(
رده :
QA
76
.
6
.
R53
1015. Writing fast programs: a practical guide for scientists and engineers
پدیدآورنده: Riley, John S.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Computer programming,Data processing ، Engineering mathematics,، Program transformation )Computer programming(
رده :
QA
76
.
6
.
R5W7
1016. applicatiom of Combinatorial optimization
پدیدآورنده: / edited by Vangelis Th. Paschos
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Combinatorial optimization,Programming (Mathematics)
رده :
QA402
.
5
.
C545
2010
1017. directed design-Robust optimization
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: System theory. ; Programming (Mathematics) ; Robust optimization. ;
1018. global optimization algorithms: theory and appilcation
پدیدآورنده: Weise, Thomas
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Engineering mathematics,، Mathematical optimization,، Nonlinear programming,، Algorithms
رده :
TA
331
.
W45
1019. Intelligent optimisation techniques: genetic algorithms, tabu search, simulated annealing and neural networks
پدیدآورنده: D. T. Pham and D. Kraboga
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (تهران)
موضوع: Engineering--Data processing,Computer--Acided engineering,Heuristic programming,Genetic algorithms,Simulated annealing (Mathematics ),Neural networks (Computer science)
